well formed formula

合式的公式